#include<stdio.h>

int main()
{
	int sales;//销售额
	scanf("%d",&sales);
	double salary=500.0;//底薪500
	int grade=sales;
	if(sales%1000==0)
	{
		grade=sales/1000;
	}
	else
	{
		grade=sales/1000+1;//去除重复区间
	}
	switch(grade)
	{
		case 0:
		case 1:
		case 2:break; 
		case 3:
		case 4:
		case 5: salary=salary+sales*0.08;break;
		case 6:
		case 7:
		case 8:
		case 9:
		case 10:salary=salary+sales*0.1;break;
		default:salary=salary+sales*0.12;break;
		
	}
	printf("员工这个月的工资是：%.02lf",salary);
	
	
	return 0;
}
